Pure Logic of Necessitationの擬Kripkeフレーム